Dynamic Epistemic Update System
نویسنده
چکیده
2 Most of all, please excuse me for bastardization of other peoples achievements – very sloppy references etc. Before I settle on the final version of the paper and definitely before it reaches anybody who might be unaware of the lineage of the concepts used (probably anyone else then You, Prof. van Benthem), this mistake will be corrected! For the similar reasons – not certain final version of the paper – proper introduction and conclusions are missing. I supply instead
منابع مشابه
Analyzing Communication with Dynamic Epistemic Logic
This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...
متن کاملDEMO — A Demo of Epistemic Modelling
This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...
متن کاملArrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is als...
متن کاملArrow Update Logic
We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action m...
متن کاملDynamic Epistemic Temporal Logic
We propose Dynamic Epistemic Temporal Logic, a dynamic-protocol framework that overcomes the Problem of Synchronicity in the popular Dynamic Epistemic Logic approach to reasoning about multi-agent belief change. Dynamic Epistemic Temporal Logic not only extends the domain of applicability of standard Dynamic Epistemic Logic, but it also clarifies how certain structural properties (such as synch...
متن کاملConcurrent information update in multi-agent systems: from Hintikka to Abramsky Games
Abramsky and Hintikka style games can be seen as representatives of the two main branches of game semantics. They both model interaction but each in a different manner. Hintikka games provide models of propositional interaction in terms of classical logic connectives such as ∨, ∧, →, and ¬. Abramsky games, on the other hand, model the interaction between programs that run in different parallel ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004